منابع مشابه
Expressiveness of Languages1
Specialized languages are often a good choice for expressing a set of facts. However, many specialized languages are limited in their expressive power. This paper presents methods for determining when a set of facts is expressible in a language. Some specialized languages have the property that when some collections of facts are stated explicitly, additional facts are stated implicitly. A set o...
متن کاملAssociative Definition of Programming Languages1
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languages. ALD do not use nonterminal symbols, but rely on permissible contexts for specifying valid syntax trees. In order to assess ALD adequacy, we analyze the descriptional complexity of structurally equivalent CF and ALD...
متن کاملCompiler-Controlled Multithreading for Lenient Parallel Languages1
Abstract: Tolerance to communication latency and inexpensive synchronization are critical for general-purpose computing on large multiprocessors. Fast dynamic scheduling is required for powerful non-strict parallel languages. However, machines that support rapid switching between multiple execution threads remain a design challenge. This paper explores how multithreaded execution can be address...
متن کاملThe Gödel Completeness Theorem for Uncountable Languages1
This article is the second in a series of two Mizar articles constituting a formal proof of the Gödel Completeness theorem [15] for uncountably large languages. We follow the proof given in [16]. The present article contains the techniques required to expand a theory such that the expanded theory contains witnesses and is negation faithful. Then the completeness theorem follows immediately.
متن کاملIntensifying ideophones in three Luhya languages1
Ideophones are typically described as “marked words that depict sensory imagery” (Dingemanse 2011, 25). This paper addresses ideophone data from three Luhya languages: Llogoori, Lunyore, and Lutiriki (Bantu, Kenya). Our primary claim is descriptive: we show that there is a closed class of (previously undescribed) Luhya ideophones. We illustrate how the Luhya data is consistent with what is know...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1922
ISSN: 0028-0836,1476-4687
DOI: 10.1038/109491a0